
set_target_properties(marshalling::crypto3_zk PROPERTIES INTERFACE_PKG_CONFIG_NAME crypto3_zk)
